type a (= *)
datatype t = A of a | B of word
val f : int -> t
val g : a -> int
